Local consistency - PDFSEARCH.IO - Document Search Engine

Local consistency
Results: 221

#	Item
101	GlobSol-user-guide-for-GOMS-revision.dvi Add to Reading List Source URL: interval.louisiana.edu Language: English - Date: 2008-05-28 12:29:59 Computer programming Constraint programming Operations research Fortran Local consistency Constraint Convex optimization Mathematical optimization Computing Software engineering
102	Fletcher Insulation Consistency Trophy ClaremontGrade Name Score Points Add to Reading List Source URL: www.mbatasgolf.org Language: English - Date: 2015-04-07 21:42:49 Knowledge Academic transfer Education reform Grade Local government areas of Tasmania Tasmanian Football League Education Sport in Tasmania
103	Bound Propagation for Arithmetic Reasoning in Vampire Ioan Dragan∗ , Konstantin Korovin † , Laura Kov´acs ‡ , Andrei Voronkov † ∗ Vienna University of Technology Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-12-12 08:44:35 Operations research Constraint programming Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem Satisfiability Modulo Theories Linear programming Local consistency Theoretical computer science Applied mathematics Mathematics
104	CLP(Intervals) Revisited 1 F. Benhamou D. McAllester P. Van Hentenryck Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2006-08-07 20:12:27 Software engineering Interval arithmetic Constraint logic programming Local consistency Antiderivative Interval Mean value theorem Constraint satisfaction problem Constraint algorithm Constraint programming Mathematics Mathematical analysis
105	Constraint Design Rewriting Roberto Brunia , Alberto Lluch Lafuenteb , Ugo Montanaria a Dipartimento di Informatica, Universit`a di Pisa, Italy { bruni,ugo}@ di. unipi. it Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Local consistency Flow network Graph Constraint satisfaction Constraint logic programming Directed graph Decomposition method Tree decomposition Graph theory Constraint programming Theoretical computer science
106	Chicago Journal of Theoretical Computer Science The MIT Press Volume 1999, Article 10 Self-stabilizing Distributed Constraint Satisfaction ISSN 1073–0486. MIT Press Journals, Five Cambridge Center, Cambridge, Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2000-02-21 01:31:44 Computing Local consistency Constraint satisfaction Self-stabilization Distributed computing Constraint graph Scheduling Backtracking Search algorithm Constraint programming Software engineering Computer programming
107	Design and Evaluation of a Continuous Consistency Model for Replicated Services Haifeng Yu Amin Vahdat Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2006-11-02 03:28:24 Computer architecture Data synchronization Computer storage Replication Consistency model ACE Consensus Parallel computing Local consistency Computing Software Fault-tolerant computer systems
108	Correctness Considerations in CLP(FD) Systems Dissertation submitted in partial fulfillment of the requirements for the degree of Doktor der technischen Wissenschaften by Add to Reading List Source URL: www.logic.at Language: English - Date: 2014-05-30 11:35:42 Computer programming Programming paradigms ECLiPSe Constraint logic programming CLP Prolog Local consistency Constraint satisfaction problem Logic programming Constraint programming Software engineering Declarative programming
109	Affiche-annonce MAIRY Jean-Baptiste Add to Reading List Source URL: www.uclouvain.be Language: English - Date: 2015-03-31 07:41:40 Constraint satisfaction problem Constraint satisfaction Constraint Constraint programming Computing Local consistency
110	A Language for Automatically Enforcing Privacy Policies Jean Yang Kuat Yessenov Armando Solar-Lezama Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-01-04 11:40:01 Type theory Data types Predicate logic Models of computation Symbol Variable Local consistency Lambda calculus Free variables and bound variables Mathematics Mathematical logic Logic

UPDATE